Finding Fran

Verifying Fran programs

Fran is a system for functional reactive animation. This note explores the way that some of the features of Fran can be interpreted as logical formulas, referring in particular to the example of a lift animation written in Fran. [First written November 1998; revised February and April 1999.]

A “Fifteen Puzzle” in Fran

Jacobi Angles for Simultaneous Diagonalization. Jean-fran

Simultaneous diagonalization of several matrices can be implemented by a Jacobi-like technique. This note gives the required Jacobi angles in close form.

Ackermann , Fran and Howick , Susan and Quigley ,

As evidenced through both a historical and contemporary number of reported over-runs, managing projects can be a risky business. Managers are faced with the need to effectively work with a multitude of parties and deal with a wealth of interlocking uncertainties. This paper describes a modelling process developed to assist managers facing such situations. The process helps managers to develop a...

ESTIMATING EQUATIONS FOR SOURCE SEPARATION Jean-Fran

This paper proposes a unifying view of source separation via the concepts of `estimating function' and `estimating equation'. We exhibit the estimating functions corresponding to various known techniques like ICA, JADE, infomax, maximum likelihood, cumulant matching, etc: : :We also show how equivariant batch and adaptive algorithms stem from each particular estimating function and discuss thei...